<!DOCTYPE html>
<html>
<head>
<title>highlighting</title>
<script type="text/javascript" src="http://code.jquery.com/jquery-1.5.2.min.js"> </script>
<script type="text/javascript" src="codemirror.js"> </script>
<link rel="stylesheet" type="text/css" href="codemirror.css" />
<link rel="stylesheet" type="text/css" href="default.css" />
<script type="text/javascript" src="pascal.js"> </script>
<link rel="stylesheet" type="text/css" href="docs.css" />
</head>
<body>
<div>
<textarea id="source">
</textarea>
</div>

<script> 
  
 
 var editor = CodeMirror.fromTextArea(document.getElementById("source"), {
        lineNumbers: true,
        matchBrackets: true,
        mode: "text/x-passrc"
	  });
	  
</script>
